System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
371	TEX (dvi) pdfTEX TEX engines XƎTEX Add to Reading List Source URL: latex-cookbook.net - Date: 2015-09-26 14:37:49 TeX Digital typography Typesetting PdfTeX LuaTeX Macro programming languages Unicode ConTeXt Device independent file format New Typesetting System DVI WinEdt
372	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
373	Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-01-06 13:25:00 Type theory Functional languages Proof assistants Dependently typed programming Logic in computer science Coq Dependent type Functional programming Haskell Inductive type Quicksort CurryHoward correspondence
374	Opera A step towards the future On-site or remote programming, management and check system for the automations Control? Add to Reading List Source URL: www.niceforyou.com Language: English - Date: 2010-05-20 11:41:36
375	Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-01-25 02:16:42
376	Techniques and Applications for Guest-Language Safepoints Benoit Daloze Johannes Kepler University Linz, Austria Chris Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Computing Software engineering Computer programming Concurrency control Global interpreter lock Thread JRuby POSIX Threads Memory barrier VM Runtime system Ruby
377	The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡ Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2003-11-12 02:46:10 Wireless sensor network Embedded operating systems TinyOS Object-oriented programming NesC Wireless networking Software architecture Embedded system Component-based software engineering Operating system Kernel Communications protocol
378	H U G O O S VA L D O B A R R E R A personal information Buenos Aires, Argentina · 16th June 1987 born email Add to Reading List Source URL: hugo.barrera.io Language: English - Date: 2016-02-20 02:47:50 Computing Provinces of Argentina Rivadavia Buenos Aires System administrator Software Java Computer programming
379	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-09-20 05:07:09 Robotics Mobile robot Robot Operating System Robot Obstacle avoidance Sebastian Thrun Motion planning Carmen Toolkit Index of robotics articles
380	Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:46:56 Type theory Object-oriented programming Data types Functional programming OCaml Structural type system Ocsigen Type system Duck typing Immutable object Caml Constant

UPDATE